2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)
Автор:
Zohar Manna
, Автор:
Doron A. Peled
Категория:
Компьютеры
Размер книги: 3.93 Mb
The Calculus of Computation: Decision Procedures with Applications to Verification
Автор:
Aaron R. Bradley
, Автор:
Zohar Manna
Размер книги: 2.62 Mb
Lectures on the logic of computer programming
Автор:
Zohar Manna
Категория:
Algorithms
Размер книги: 312 Kb
Lectures on the logic of computer programming
Автор:
Zohar Manna
Категория:
Computability
Размер книги: 269 Kb
Lectures on the logic of computer programming
Автор:
Zohar Manna
Размер книги: 258 Kb
Mathematical Theory of Computation
Автор:
Zohar Manna
Категория:
Computer science
,
Computability
Размер книги: 15.09 Mb
Lectures on the Logic of Computer Programming
Автор:
Zohar Manna
Размер книги: 1.66 Mb
Mathematical Theory of Computation
Автор:
Zohar Manna
Размер книги: 3.21 Mb
Lectures on the Logic of Computer Programming
Автор:
Zohar Manna
Размер книги: 331 Kb
The Temporal Logic of Reactive and Concurrent Systems: Specification
Автор:
Zohar Manna
, Автор:
Amir Pnueli
Размер книги: 2.80 Mb
Lectures on the Logic of Computer Programming
Автор:
Zohar Manna
Размер книги: 312 Kb